Rinetzky, N.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the Twenty-Third International Conference - Williamsburg, VA, USA (2018.03.24-2018.03.28)] Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '18 - Statistical Reconstruction of Class Hierarchies in Binaries

Katz, Omer, Rinetzky, Noam, Yahav, Eran

Year:

2018

Language:

english

File:

PDF, 1.22 MB

english, 2018

2

Abstraction for concurrent objects

Ivana Filipović, Peter O’Hearn, Noam Rinetzky, Hongseok Yang

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 367 KB

english, 2010

3

[IEEE Comput. Soc 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies - San Diego, CA, USA (7-10 April 2003)] 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, 2003. (MSST 2003). Proceedings. - Towards an object store

Azagury, A., Dreizin, V., Factor, M., Henis, E., Naor, D., Rinetzky, N., Rodeh, O., Satran, J., Tavory, A., Yerushalmi, L.

Year:

2003

Language:

english

File:

PDF, 559 KB

english, 2003

4

[IEEE Comput. Soc First International IEEE Security in Storage Workshop - Greenbelt, MD, USA (11 Dec. 2002)] First International IEEE Security in Storage Workshop, 2002. Proceedings. - A two layered approach for securing an object store network

Azagury, A., Canetti, R., Factor, M., Halevi, S., Henis, E., Naor, D., Rinetzky, N., Rodeh, O., Satran, J.

Year:

2003

Language:

english

File:

PDF, 812 KB

english, 2003

5

[ACM Press the 2013 ACM symposium - Montréal, Québec, Canada (2013.07.22-2013.07.24)] Proceedings of the 2013 ACM symposium on Principles of distributed computing - PODC '13 - A programming language perspective on transactional memory consistency

Attiya, Hagit, Gotsman, Alexey, Hans, Sandeep, Rinetzky, Noam

Year:

2013

Language:

english

File:

PDF, 544 KB

english, 2013

6

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - CGCExplorer

Vechev, Martin T., Yahav, Eran, Bacon, David F., Rinetzky, Noam

Year:

2007

Language:

english

File:

PDF, 284 KB

english, 2007

7

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - Verifying dereference safety via expanding-scope analysis

Loginov, Alexey, Yahav, Eran, Chandra, Satish, Fink, Stephen, Rinetzky, Noam, Nanda, Mangala

Year:

2008

Language:

english

File:

PDF, 433 KB

english, 2008

8

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Field-sensitive program dependence analysis

Litvak, Shay, Dor, Nurit, Bodik, Rastislav, Rinetzky, Noam, Sagiv, Mooly

Year:

2010

Language:

english

File:

PDF, 437 KB

english, 2010

9

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Tightfit: adaptive parallelization with foresight

Tripp, Omer, Rinetzky, Noam

Year:

2013

Language:

english

File:

PDF, 1.65 MB

english, 2013

10

[ACM Press the 2014 ACM symposium - Paris, France (2014.07.15-2014.07.18)] Proceedings of the 2014 ACM symposium on Principles of distributed computing - PODC '14 - Brief announcement

Hemed, Nir, Rinetzky, Noam

Year:

2014

Language:

english

File:

PDF, 598 KB

english, 2014

11

On the complexity of partially-flow-sensitive alias analysis

Rinetzky, N., Ramalingam, G., Sagiv, M., Yahav, E.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 561 KB

english, 2008

12

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Sequential verification of serializability

Attiya, H., Ramalingam, G., Rinetzky, N.

Year:

2010

Language:

english

File:

PDF, 461 KB

english, 2010

13

[ACM Press Proceeding of the 29th ACM SIGACT-SIGOPS symposium - Zurich, Switzerland (2010.07.25-2010.07.28)] Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '10 - Verifying linearizability with hindsight

O'Hearn, Peter W., Rinetzky, Noam, Vechev, Martin T., Yahav, Eran, Yorsh, Greta

Year:

2010

Language:

english

File:

PDF, 620 KB

english, 2010

14

CGCExplorer

Vechev, Martin T., Yahav, Eran, Bacon, David F., Rinetzky, Noam

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 284 KB

english, 2007

15

Sequential verification of serializability

Attiya, H., Ramalingam, G., Rinetzky, N.

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 461 KB

english, 2010

16

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Pattern-based synthesis of synchronization for the C++ memory model

Meshman, Yuri, Rinetzky, Noam, Yahav, Eran

Year:

2015

Language:

english

File:

PDF, 1.26 MB

english, 2015

17

Property-Directed Inference of Universal Invariants or Proving Their Absence

Karbyshev, Aleksandr, Bjørner, Nikolaj, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Journal:

Journal of the ACM

Year:

2017

Language:

english

File:

PDF, 1.04 MB

english, 2017

18

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

Attiya, Hagit, Gotsman, Alexey, Hans, Sandeep, Rinetzky, Noam

Journal:

Journal of the ACM

Year:

2017

Language:

english

File:

PDF, 2.56 MB

english, 2017

19

Online detection of effectively callback free objects with applications to smart contracts

Grossman, Shelly, Abraham, Ittai, Golan-Gueta, Guy, Michalevsky, Yan, Rinetzky, Noam, Sagiv, Mooly, Zohar, Yoni

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 399 KB

english, 2017

20

[ACM Press the 23rd ACM SIGPLAN Symposium - Vienna, Austria (2018.02.24-2018.02.28)] Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18 - Safe privatization in transactional memory

Khyzha, Artem, Attiya, Hagit, Gotsman, Alexey, Rinetzky, Noam

Year:

2018

Language:

english

File:

PDF, 701 KB

english, 2018

21

[IEEE 2019 IEEE 35th International Conference on Data Engineering (ICDE) - Macao, Macao (2019.4.8-2019.4.11)] 2019 IEEE 35th International Conference on Data Engineering (ICDE) - COBRA: Compression Via Abstraction of Provenance for Hypothetical Reasoning

Deutch, Daniel, Moskovitch, Yuval, Rinetzky, Noam

Year:

2019

Language:

english

File:

PDF, 258 KB

english, 2019

22

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Simple and precise static analysis of untrusted Linux kernel extensions

Gershuni, Elazar, Amit, Nadav, Gurfinkel, Arie, Narodytska, Nina, Navas, Jorge A., Rinetzky, Noam, Ryzhyk, Leonid, Sagiv, Mooly

Year:

2019

Language:

english

File:

PDF, 441 KB

english, 2019

23

[ACM Press the 2019 International Conference - Amsterdam, Netherlands (2019.06.30-2019.07.05)] Proceedings of the 2019 International Conference on Management of Data - SIGMOD '19 - Hypothetical Reasoning via Provenance Abstraction

Deutch, Daniel, Moskovitch, Yuval, Rinetzky, Noam

Year:

2019

Language:

english

File:

PDF, 1.75 MB

english, 2019

24

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Computing summaries of string loops in C for better testing and refactoring

Kapus, Timotej, Ish-Shalom, Oren, Itzhaky, Shachar, Rinetzky, Noam, Cadar, Cristian

Year:

2019

Language:

english

File:

PDF, 402 KB

english, 2019

25

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Computing summaries of string loops in C for better testing and refactoring

Kapus, Timotej, Ish-Shalom, Oren, Itzhaky, Shachar, Rinetzky, Noam, Cadar, Cristian

Year:

2019

File:

PDF, 402 KB

2019